Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
ECS Implementation
reddit.com·18h·
Discuss: r/cpp
🤖Embedded Go
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
functional programming
valuetier.org (and some thoughts on LLMs)
ericphanson.com·9h·
📚Self-Documenting Code
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·43m
🔒Rust Borrowing
Show HN: URI-Transformer: AI architecture that models meaning. 99.9% less memory
github.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🎲Property Testing
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects
The Inverse Matrix problem
talesfrom.dev·3h
🚂Error Propagation
Seeing Like a Language Model
every.to·1d·
Discuss: Hacker News
Gleam
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·9h·
Discuss: r/programming
🧠Memory Models
Hyperdimensional Biomarker Discovery via Probabilistic Causal Graph Optimization
dev.to·15h·
Discuss: DEV
Effect Inference
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🔢Algebraic Datatypes
Executable Counterfactuals: Improving LLMs' Causal Reasoning Through Code
arxiv.org·2d
🔍ML Language
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·55m·
Discuss: DEV
📚Self-Documenting Code
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·4h·
Discuss: Hacker News
🌊Reactive Languages
Energy Requirements Undermine Substrate Independence and Mind-Body Functionalism
cambridge.org·1d·
Discuss: Hacker News
🗺️Region Polymorphism
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·39m·
Discuss: Hacker News
🎭Program Synthesis
LLMs are badly misaligned
lesswrong.com·13h
Type Checking